% This file can be \input into TeX 3.0 source files that use 8-bit characters.
% Or you can include it in a format file: eg., type "plain \input 8bitdefs \dump"
% after selecting INITEX.  Feel free to make changes to suit your own needs.
%
% Characters in the range 128..255 are made active and given suitable replacements.
% I've called \badchar when not sure what the replacement should be.
% TeX will display a message when it encounters such a character.

\def\badchar#1{\message{I've replaced char #1 with ?}{?}}

\catcode128=13 \def �{\"A}
\catcode129=13 \def �{\AA }
\catcode130=13 \def �{\c C}
\catcode131=13 \def �{\'E}
\catcode132=13 \def �{\~N}
\catcode133=13 \def �{\"O}
\catcode134=13 \def �{\"U}
\catcode135=13 \def �{\'a}
\catcode136=13 \def �{\`a}
\catcode137=13 \def �{\^a}
\catcode138=13 \def �{\"a}
\catcode139=13 \def �{\~a}
\catcode140=13 \def �{\aa }
\catcode141=13 \def �{\c c}
\catcode142=13 \def �{\'e}
\catcode143=13 \def �{\`e}
\catcode144=13 \def �{\^e}
\catcode145=13 \def �{\"e}
\catcode146=13 \def �{\'\i }
\catcode147=13 \def �{\`\i }
\catcode148=13 \def �{\^\i }
\catcode149=13 \def �{\"\i }
\catcode150=13 \def �{\~n}
\catcode151=13 \def �{\'o}
\catcode152=13 \def �{\`o}
\catcode153=13 \def �{\^o}
\catcode154=13 \def �{\"o}
\catcode155=13 \def �{\~o}
\catcode156=13 \def �{\'u}
\catcode157=13 \def �{\`u}
\catcode158=13 \def �{\^u}
\catcode159=13 \def �{\"u}
\catcode160=13 \def �{\dag }
\catcode161=13 \def �{\hbox{$^\circ$}}
\catcode162=13 \def �{\badchar{162}}
\catcode163=13 \def �{{\it\$}}
\catcode164=13 \def �{\S }
\catcode165=13 \def �{\hbox{$\bullet$}}
\catcode166=13 \def �{\P }
\catcode167=13 \def �{\ss }
\catcode168=13 \def �{\badchar{168}}
\catcode169=13 \def �{\badchar{169}}
\catcode170=13 \def �{\badchar{170}}
\catcode171=13 \def �{\'{ }}
\catcode172=13 \def �{\"{ }}
\catcode173=13 \def �{\neq }
\catcode174=13 \def �{\AE }
\catcode175=13 \def �{\O }
\catcode176=13 \def �{\infty }
\catcode177=13 \def �{\pm }
\catcode178=13 \def �{\leq }
\catcode179=13 \def �{\geq }
\catcode180=13 \def �{\badchar{180}}
\catcode181=13 \def �{\mu }
\catcode182=13 \def �{\delta }
\catcode183=13 \def �{\Sigma }
\catcode184=13 \def �{\Pi }
\catcode185=13 \def �{\pi }
\catcode186=13 \def �{\int }
\catcode187=13 \def �{\badchar{187}}
\catcode188=13 \def �{\badchar{188}}
\catcode189=13 \def �{\Omega }
\catcode190=13 \def �{\ae }
\catcode191=13 \def �{\o }
\catcode192=13 \def �{{?`}}
\catcode193=13 \def �{{!`}}
\catcode194=13 \def �{\lnot }
\catcode195=13 \def �{\sqrt }
\catcode196=13 \def �{\badchar{196}}
\catcode197=13 \def �{\approx }
\catcode198=13 \def �{\Delta }
\catcode199=13 \def �{\ll }
\catcode200=13 \def �{\gg }
\catcode201=13 \def �{\dots }
\catcode202=13 \def �{\badchar{202}}
\catcode203=13 \def �{\`A}
\catcode204=13 \def �{\~A}
\catcode205=13 \def �{\~O}
\catcode206=13 \def �{\OE }
\catcode207=13 \def �{\oe }
\catcode208=13 \def �{{--}}
\catcode209=13 \def �{{---}}
\catcode210=13 \def �{{``}}
\catcode211=13 \def �{{''}}
\catcode212=13 \def �{\badchar{212}}
\catcode213=13 \def �{\badchar{213}}
\catcode214=13 \def �{\div }
\catcode215=13 \def �{\diamond }
\catcode216=13 \def �{\"y}
\catcode217=13 \def �{\badchar{217}}
\catcode218=13 \def �{\badchar{218}}
\catcode219=13 \def �{\badchar{219}}
\catcode220=13 \def �{\badchar{220}}
\catcode221=13 \def �{\badchar{221}}
\catcode222=13 \def �{\badchar{222}}
\catcode223=13 \def �{\badchar{223}}
\catcode224=13 \def �{\badchar{224}}
\catcode225=13 \def �{\badchar{225}}
\catcode226=13 \def �{\badchar{226}}
\catcode227=13 \def �{\badchar{227}}
\catcode228=13 \def �{\badchar{228}}
\catcode229=13 \def �{\badchar{229}}
\catcode230=13 \def �{\badchar{230}}
\catcode231=13 \def �{\badchar{231}}
\catcode232=13 \def �{\badchar{232}}
\catcode233=13 \def �{\badchar{233}}
\catcode234=13 \def �{\badchar{234}}
\catcode235=13 \def �{\badchar{235}}
\catcode236=13 \def �{\badchar{236}}
\catcode237=13 \def �{\badchar{237}}
\catcode238=13 \def �{\badchar{238}}
\catcode239=13 \def �{\badchar{239}}
\catcode240=13 \def �{\badchar{240}}
\catcode241=13 \def �{\badchar{241}}
\catcode242=13 \def �{\badchar{242}}
\catcode243=13 \def �{\badchar{243}}
\catcode244=13 \def �{\badchar{244}}
\catcode245=13 \def �{\badchar{245}}
\catcode246=13 \def �{\badchar{246}}
\catcode247=13 \def �{\badchar{247}}
\catcode248=13 \def �{\badchar{248}}
\catcode249=13 \def �{\badchar{249}}
\catcode250=13 \def �{\badchar{250}}
\catcode251=13 \def �{\badchar{251}}
\catcode252=13 \def �{\badchar{252}}
\catcode253=13 \def �{\badchar{253}}
\catcode254=13 \def �{\badchar{254}}
\catcode255=13 \def �{\badchar{255}}
